Circuit Complexity Meets Ontology-Based Data Access

Ontology-based data access is an approach to organizing access to a database augmented with a logical theory. In this approach query answering proceeds through a reformulation of a given query into a new one which can be answered without any use of theory. Thus the problem reduces to the standard database setting. However, the size of the query may increase substantially during the reformulation. In this survey we review a recently developed framework on proving lower and upper bounds on the size of this reformulation by employing methods and results from Boolean circuit complexity.Comment: To appear in proceedings of CSR 2015, LNCS 9139, Springe

Data-Oriented Declarative Language for Optimizing Business Processes

There is a signifi cant number of declarative languages to describe business processes. They tend to be used when business processes need to be fl exible and adaptable, being not possible to use an imperative description. Declarative languages in business process have been traditionally used to describe the order of activities, specifi cally the order allowed or prohibited. Unfortunately, none of them is worried about a declarative description of exchanged data between the activities and how they can infl uence the model. In this paper, we analyse the data description capacity of a variety of declarative languages in business processes. Using this analysis, we have detected the necessity to include data exchanged aspects in the declarative descriptions. In order to solve the gap, we propose a Data-Oriented Optimization Declarative LanguagE, called DOODLE, which includes the process requirements referred to data description, and the possibility to include an optimization function about the process output data

A Repeated Measures Experiment of Green Exercise to Improve Self-Esteem in UK School Children

Exercising in natural, green environments creates greater improvements in adult's self-esteem than exercise undertaken in urban or indoor settings. No comparable data are available for children. The aim of this study was to determine whether so called 'green exercise' affected changes in self-esteem; enjoyment and perceived exertion in children differently to urban exercise. We assessed cardiorespiratory fitness (20 m shuttle-run) and self-reported physical activity (PAQ-A) in 11 and 12 year olds (n = 75). Each pupil completed two 1.5 mile timed runs, one in an urban and another in a rural environment. Trials were completed one week apart during scheduled physical education lessons allocated using a repeated measures design. Self-esteem was measured before and after each trial, ratings of perceived exertion (RPE) and enjoyment were assessed after completing each trial. We found a significant main effect (F (1,74), = 12.2, p<0.001), for the increase in self-esteem following exercise but there was no condition by exercise interaction (F (1,74), = 0.13, p = 0.72). There were no significant differences in perceived exertion or enjoyment between conditions. There was a negative correlation (r = -0.26, p = 0.04) between habitual physical activity and RPE during the control condition, which was not evident in the green exercise condition (r = -0.07, p = 0.55). Contrary to previous studies in adults, green exercise did not produce significantly greater increases in self-esteem than the urban exercise condition. Green exercise was enjoyed more equally by children with differing levels of habitual physical activity and has the potential to engage less active children in exercise. © 2013 Reed et al

Kinesin expands and stabilizes the GDP-microtubule lattice

Kinesin-1 is a nanoscale molecular motor that walks towards the fast-growing (plus) ends of microtubules, hauling molecular cargo to specific reaction sites in cells. Kinesin-driven transport is central to the self-organization of eukaryotic cells and shows great promise as a tool for nano-engineering1. Recent work hints that kinesin may also play a role in modulating the stability of its microtubule track, both in vitro2,3 and in vivo4, but the results are conflicting5,6,7 and the mechanisms are unclear. Here, we report a new dimension to the kinesin–microtubule interaction, whereby strong-binding state (adenosine triphosphate (ATP)-bound and apo) kinesin-1 motor domains inhibit the shrinkage of guanosine diphosphate (GDP) microtubules by up to two orders of magnitude and expand their lattice spacing by ~1.6%. Our data reveal an unexpected mechanism by which the mechanochemical cycles of kinesin and tubulin interlock, and so allow motile kinesins to influence the structure, stability and mechanics of their microtubule track

Pleosporales

One hundred and five generic types of Pleosporales are described and illustrated. A brief introduction and detailed history with short notes on morphology, molecular phylogeny as well as a general conclusion of each genus are provided. For those genera where the type or a representative specimen is unavailable, a brief note is given. Altogether 174 genera of Pleosporales are treated. Phaeotrichaceae as well as Kriegeriella, Zeuctomorpha and Muroia are excluded from Pleosporales. Based on the multigene phylogenetic analysis, the suborder Massarineae is emended to accommodate five families, viz. Lentitheciaceae, Massarinaceae, Montagnulaceae, Morosphaeriaceae and Trematosphaeriaceae

Arguing about causes in law: a semi-formal framework for causal arguments

In legal argumentation and liability attribution, disputes over causes play a central role. Legal discussions about causation often have difficulty with cause-in-fact in complex situations, e.g. overdetermination, preemption, omission. We first assess three theories of causation. Then we introduce a semi-formal framework to model causal arguments using both strict and defeasible rules. We apply the framework to the Althen vaccine injury case. Wrapping up the paper, we motivate a causal argumentation framework and propose to integrate current theories of causation

Depression and physical activity in a sample of nigerian adolescents: levels, relationships and predictors

<p>Abstract</p> <p>Background</p> <p>Physical inactivity is related to many morbidities but the evidence of its link with depression in adolescents needs further investigation in view of the existing conflicting reports.</p> <p>Methods</p> <p>The data for this cross-sectional study were collected from 1,100 Nigerian adolescents aged 12-17 years. Depressive symptomatology and physical activity were assessed using the Children's Depression Inventory (CDI) and the Physical Activity Questionnaire-Adolescent version (PAQ-A) respectively. Independent t tests, Pearson's Moment Correlation and Multi-level logistic regression analyses for individual and school area influences were carried out on the data at p < 0.05.</p> <p>Results</p> <p>The mean age of the participants was 15.20 ± 1.435 years. The prevalence of mild to moderate depression was 23.8%, definite depression was 5.7% and low physical activity was 53.8%. More severe depressive symptoms were linked with lower levels of physical activity (r = -0.82, p < 0.001) and moderate physical activity was linked with reduced risk of depressive symptoms (OR = 0.42, 95% CI = 0.29-0.71). The odds of having depressive symptoms were higher in older adolescents (OR = 2.16, 95% CI = 1.81-3.44) and in females (OR = 2.92, 95% CI = 1.82-3.54). Females had a higher risk of low physical activity than male adolescents (OR = 2.91, 95% CI = 1.51-4.26). Being in Senior Secondary class three was a significant predictor of depressive symptoms (OR = 3.4, 95% CI = 2.55-4.37) and low physical activity.</p> <p>Conclusions</p> <p>A sizable burden of depression and low physical activity existed among the studied adolescents and these were linked to both individual and school factors. Future studies should examine the effects of physical activity among clinical samples of adolescents with depression.</p

Type Ia Supernovae as Stellar Endpoints and Cosmological Tools

Empirically, Type Ia supernovae are the most useful, precise, and mature tools for determining astronomical distances. Acting as calibrated candles they revealed the presence of dark energy and are being used to measure its properties. However, the nature of the SN Ia explosion, and the progenitors involved, have remained elusive, even after seven decades of research. But now new large surveys are bringing about a paradigm shift --- we can finally compare samples of hundreds of supernovae to isolate critical variables. As a result of this, and advances in modeling, breakthroughs in understanding all aspects of SNe Ia are finally starting to happen.Comment: Invited review for Nature Communications. Final published version. Shortened, update